Abstract machine

Results: 823



#Item
371Computability theory / Polynomials / Turing machine / Models of computation / Field theory / Irreducible polynomial / Field extension / Computability / Polynomial ring / Abstract algebra / Mathematics / Theoretical computer science

Equality Is a Jump Paolo Boldi∗ Sebastiano Vigna∗ Dipartimento di Scienze dell’Informazione, Università degli Studi di Milano {boldi,vigna}@dsi.unimi.it

Add to Reading List

Source URL: vigna.di.unimi.it

Language: English - Date: 2002-05-18 04:50:21
372Mathematics / Valuation / Markov decision process / Markov chain / Sheaf / Duality / Representation theory / Natural deduction / Statistics / Abstract algebra / Markov processes

Journal of Machine Learning ResearchSubmitted 1/08; Published ??/?? Dual Representations for Dynamic Programming Tao Wang

Add to Reading List

Source URL: webdocs.cs.ualberta.ca

Language: English - Date: 2008-01-29 00:53:07
373Search algorithms / Metric geometry / Topology / Discrete geometry / Machine learning / Nearest neighbor search / Metric / K-nearest neighbor algorithm / Bin / Geometry / Mathematics / Information science

An Adaptive Data Structure for Nearest Neighbors Search in an General Metric Space Joseph Thomas Thesis Adviser: John Kececioglu June 1, 2010 Abstract

Add to Reading List

Source URL: www.cs.arizona.edu

Language: English - Date: 2010-09-30 15:07:46
374Computing / Operations research / Planning / Scheduling / Latency / Embedded operating systems / Xen / Real-time operating system / Virtual machine / System software / Software / Scheduling algorithms

Abstract In this paper, we address the latency issue in RTXEN virtual machines that are available in Xen 4.5. Despite the advantages of applying virtualization to systems, the default credit scheduler is difficult to use

Add to Reading List

Source URL: wiki.xenproject.org

Language: English - Date: 2015-04-03 10:15:51
375Behavior / Human communication / Multimodal interaction / Human–robot interaction / Robotics / Edward T. Hall / Proxemics / Humanoid robot / Thought / Environmental psychology / Science / Mind

Representations of Proxemic Behavior for Human-Machine Interaction Ross Mead Abstract

Add to Reading List

Source URL: robotics.usc.edu

Language: English - Date: 2013-07-16 05:01:43
376Linear algebra / Machine learning / Biometrics / Surveillance / Pattern recognition / Keystroke dynamics / Vector space / Euclidean vector / X Window System / Algebra / Mathematics / Abstract algebra

A Behavioural Biometric System Based on Human Computer Interaction Hugo Gamboaa and Ana Fredb a Escola Superior de Tecnologia de Set´

Add to Reading List

Source URL: www.lx.it.pt

Language: English - Date: 2010-07-24 14:01:23
377Programming paradigms / Prolog / Compiler optimizations / Logic programming / Parallel computing / Warren Abstract Machine / Stack / Call stack / Automatic parallelization / Software engineering / Computing / Computer programming

A High-Level Implementation of Non-Deterministic, Unrestricted, Independent And-Parallelism? Amadeo Casas1 Manuel Carro2 Manuel V. Hermenegildo1,2

Add to Reading List

Source URL: clip.dia.fi.upm.es

Language: English - Date: 2008-09-15 22:48:05
378Multivariate statistics / Data analysis / Computational statistics / Principal component analysis / Pattern recognition / Artificial neural network / Supervised learning / Support vector machine / Neural network / Statistics / Machine learning / Computational neuroscience

Artificial Intelligence Techniques for Biological Detectors James Clark, Paul Smith and Sue Neal BIRAL PO Box 2, Portishead, Bristol BS20 7JB, UK Abstract

Add to Reading List

Source URL: www.nbcsec.fi

Language: English - Date: 2011-03-02 12:46:43
379Finite fields / Computability theory / Cryptographic protocols / Computational complexity theory / Diffie–Hellman problem / XTR / Random self-reducibility / Oracle machine / Reduction / Theoretical computer science / Applied mathematics / Mathematics

Irreducibility to the One-More Evaluation Problems: More May Be Less Daniel R. L. Brown∗ June 9, 2010 Abstract

Add to Reading List

Source URL: eprint.iacr.org

Language: English - Date: 2010-06-09 14:57:08
380Linear algebra / Statistical classification / Abstract algebra / Operator theory / Functional analysis / Kernel trick / Kernel / Gaussian function / Linear classifier / Algebra / Mathematics / Machine learning

Scalable learning through linearithmic time kernel approximation techniques Johan von Tangen Sivertsen March 24, 2014 Abstract

Add to Reading List

Source URL: www.itu.dk

Language: English - Date: 2014-03-28 07:27:25
UPDATE